package river_city_ransom.services;

import exceptions.ComposantError;


public interface Dimensions {
	/** _________________________________________________________ OBSERVATORS */
	public int largeur();
	public int hauteur();
	public int profondeur();
	
	
	/** ________________________________________________________ CONSTRUCTORS */
//	pre init(l, h, p) require l > 0 ^ h > 0 ^ p > 0
//	post largeur(init(l, h, p)) = l
//	post hauteur(init(l, h, p)) = h
//	post profondeur(init(l, h, p)) = p
	public void init(int l, int h, int p) throws ComposantError;
}
